Software Reliability Redux

نویسنده

  • Diomidis Spinellis
چکیده

SOFTWARE-INTENSIVE SYSTEMS with high reliability requirements typically are implemented through heroic (and expensive) engineering efforts. Control systems in planes, nuclear reactors, trains, pacemakers, and spaceships are developed by highly trained personnel through strictly managed software development processes with a dose of formal methods. This approach has worked admirably up to now, but its strains are beginning to show.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Common Skin Diseases

A point on pseudo-chancre redux raised by the reviewer in the last edition has been settled in consonance with the modern opinion in this edition. Among the rare diseases are included pemphigus and under it the Senear-Usher type of it. Concerning the non-essential, this edition compares very unfavourably with the last. The binding has been done badly. Stitches crumple nearly every leaf and cut ...

متن کامل

The Redux 0 Server

Redux 0 is a subset of the full REDUX modell7]. The latter performs problem solving. In contrast Redux 0 does not and acts only as a decision maintenance server. It takes objects of types deened in an ontology of decision components and maintains dependencies between them. Redux 0 is domain-independent. The dependency relationships are maintained on the basis of proposition type and not content...

متن کامل

Using Pareto optimality to coordinate distributed agents

Pareto optimality is a domain-independent property that can be used to coordinate distributed engineering agents. Within a model of design called Redux, some aspects of dependency-directed backtracking can be interpreted as tracking Pareto optimality. These concepts are implemented in a framework, called Next-Link, that coordinates legacy engineering systems. This framework allows existing soft...

متن کامل

Rural Europe Redux

Rural Europe Redux? Reflections on Alternative Agro-Food Networks and Paradigm Change David Goodman Department of Environmental Studies University of California, Santa Cruz **Forthcoming in Sociologia Ruralis (2004), 44 (1)**

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IEEE Software

دوره 34  شماره 

صفحات  -

تاریخ انتشار 2017